Finitely axiomatized theories lack self?comprehension

In this paper, we prove that no consistent finitely axiomatized theory one-dimensionally interprets its own extension with predicative comprehension. This constitutes a result the flavor of Second Incompleteness Theorem whose formulation is completely arithmetic-free. Probably most important novel feature distinguishes our from previous results kind it applicable to arbitrary weak theories, rather than extensions some base theory. The methods used in proof main yield new perspective on notion sequential theory, setting forcing-interpretations.